|
|
Algebraic Informatics
by Muntean, Traian.
Publication:
. X, 275 p. 14 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Hasegawa, Masahito.
Publication:
. XII, 251 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Chan, T-H. Hubert.
Publication:
. XV, 356 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Trends in Algebraic Development Techniques
by Martí-Oliet, Narciso.
Publication:
. X, 283 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B, VDM, and Z
by Derrick, John.
Publication:
. XV, 378 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Hirsch, Edward A.
Publication:
. XXIII, 327 p. 25 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Agrawal, Manindra.
Publication:
. XV, 622 p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Lukasiewicz, Thomas.
Publication:
. XII, 405 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Trends in Algebraic Development Techniques
by Mossakowski, Till.
Publication:
. X, 303 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Physics and Beyond
by Dinneen, Michael J.
Publication:
. XIII, 427p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Language
by Kanazawa, Makoto.
Publication:
. IV, 227p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Computation Theory
by Owe, Olaf.
Publication:
. XIII, 373 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Typed Lambda Calculi and Applications
by Ong, Luke.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algebraic Informatics
by Winkler, Franz.
Publication:
. X, 261p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Ogihara, Mitsunori.
Publication:
. XVI, 564 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Kulikov, Alexander.
Publication:
. XI, 471 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Banerjee, Mohua.
Publication:
. X, 219p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and the Foundations of Game and Decision Theory – LOFT 8
by Bonanno, Giacomo.
Publication:
. XI, 207p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers in Algorithmics
by Lee, Der-Tsai.
Publication:
. XI, 339p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|